\section{Implementation Status}

Unfortunately, the solution suggested above could not 
be fully implemented within the available timeframe. The most recent version of
the source code can be downloaded through the Subversion system, using the
following command :
\begin{lstlisting}[language=csh, basicstyle=\footnotesize]
	svn co http://sav08finitedomains.googlecode.com/svn/trunk
\end{lstlisting}
